-
1 значение истинности (высказывания)
Linguistics: truth valueУниверсальный русско-английский словарь > значение истинности (высказывания)
-
2 значение истинности
1) Mathematics: truth value2) Linguistics: (высказывания) truth valueУниверсальный русско-английский словарь > значение истинности
-
3 truth value
1) Техника: истинное значение2) Математика: значение истинности3) Лингвистика: значение истинности (высказывания)4) Вычислительная техника: истинностное значение5) Макаров: истинное значение (в логике) -
4 логические операции
логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > логические операции
-
5 logical operations
логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > logical operations
-
6 anyway
Частица anyway выполняет большое количество разнообразных языковых функций. Достаточно часто она связывает предваряемое ею высказывание с непосредственно предшествующим. Здесь можно выделить, например, такую ее функцию, как ограничение (уточнение) истинности предыдущего высказывания. В русском языке подобную функцию способны выполнять выражения по крайней мере и во всяком случае:
• "We both had careers, but..." - "What was hers?" - "She was in advertising. Not a world I liked very much. Or its men, anyway." (F: 335)
"У нас у обеих была своя специальность, но..." - "Чем занималась она?" - "Рекламой. Это была не та среда, которая мне особенно нравилась. По крайней мере, те, кто там работал."
• "The first act has apparently required you to attract me. Anyway, that's been the effect." (F: 221)
"В первом акте, очевидно, предполагается, что я должен увлечься тобой. Во всяком случае, у меня сложилось такое впечатление."
Другую функцию anyway можно было бы обозначить как введение дополнительного важного или решающего аргумента. При введении дополнительного важного аргумента эквивалентами английской частицы могут выступать да и потом, кроме того, к тому же, а при введении решающего аргумента - да и вообще, в любом случае, да и:
• "They aren't English. And absolutely under Maurice's thumb. We hardly see them anyway." (F: 218)
"Они не англичане. И делают лишь то, что скажет Морис. В любом случае, мы с ними почти не видимся."
• I knew he could be bluffing, but I had a strong idea that he wasn't - and anyway... he wouldn't risk using such an obvious place. (F: 451)
Я знал, что он, возможно, блефует, но у меня было сильное подозрение, что нет... да и потом он бы не рискнул спрятать их в таком очевидном месте.
• "What would you know about literary creation anyway, Parkinson?" (DL: 315)
" Да и вообще, что вы можете знать о литературном творчестве, Паркинсон?"
Особым случаем употребления частицы anyway является ее способность вводить актуальный аргумент, который является истинным, несмотря на то, что говорилось ранее. В следующем примере героиня подчеркивает, что хотя она и не по своей инициативе стала говорить на определенную тему, но это не значит, что она не верит в то, что говорила:
• "That theological talk last night?" - "Yes. He asked me to say that... And I do believe it a little, anyway." (F: 345)
"А как насчет вчерашней теологической беседы?" - "Да, он действительно попросил меня поговорить об этом. И, потом, я все-таки сама в это немного верю."
Кроме все-таки, передавать данное прагматическое значение английской частицы могут все равно и в любом случае:
• "I hope I didn't waken you," says Morris. - "Oh, no. Anyway, can't let you go without a word of goodbye." (DL: 91)
"Надеюсь, не разбудил вас", говорит Моррис. - "Нет, нет. Я в любом случае не мог не попрощаться с вами."
Иногда частица anyway употребляется для выражения естественности или неизбежности некоего события:
• "But it's impossible, my lady. You'll get me into trouble and I'll lose my job." - "You'll lose it anyway when you go to prison..." ( AC1: 86)
"Но это невозможно, миледи. У меня будут неприятности, и я лишусь работы." - "Ты так и так ее лишишься, когда попадешь в тюрьму."
Как видно, в данном примере в качестве эквивалента частицы употреблено русское выражение так и так, можно было бы также употребить в любом случае. Вообще, в этой функции у частицы есть достаточно много разных эквивалентов, в частности, возможно использование все равно, так или иначе или и так:
• "Have you really flown all the way from America for this conference?" - "Not exactly. I was coming to Europe anyway..." (DL: 19)
"Вы что, действительно, специально летели из Америки на эту конференцию?" - "Не совсем. Я все равно (так или иначе) собирался в Европу."
Особо стоит остановиться на функционировании частицы anyway в более объемных отрезках текста, когда частица связывает вводимое ею высказывание не с одним, а несколькими высказываниями в совокупности. Во-первых, она может маркировать переход от одной темы к другой:
• "My height is a curse... Can't get away with anything... What brings you here anyway?" (JB: 204)
"От моего роста мне одни неприятности. Ничего невозможно сделать незаметно... Ну, неважно, ты-то как здесь очутился?"
В русском языке для заполнения паузы, часто образующейся при переходе к новой теме, обычно используется частица ну и сочетания с ней, одно из которых мы видим в приведенном примере. Среди других возможных сочетаний такого рода можно назвать ну, (да) ладно и ну, не суть.
Сходным образом частица anyway используется для возврата к прежней, основной теме беседы или рассказа. Потенциальные русские эквиваленты английской частицы в этой функции в целом совпадают с предыдущими (ну, неважно, ну да ладно, короче), хотя именно здесь возможно также ну так вот:
• "... young Johns played the piano. Versatile lad, that; the oboe's his instrument, really. Well anyway, the reporter chap must have got the story wrong..." (KA: 7)
"... юный Джонс играл на фортепиано. Кстати, очень разносторонний парень; вообще-то, я думаю, лучше всего он играет на гобое. Ну так вот, этот репортер, должно быть, чего-то не понял..."
Довольно часто anyway используется для резюмирования или перехода к главному, сигнализируя о пропуске незначительных деталей. В русском языке сходную функцию выполняют слова и выражения главное, короче, словом, во всяком случае, в общем:
• I told Morris that, and it didn't make him any sweeter... Anyway, I'm going to put the whole story into my book. (DL: 296)
Я сказала об этом Моррису, что отнюдь не добавило ему любезности... В общем, я собираюсь вставить всю историю в свою книгу..
• If he's not there I'll leave a message or something. Anyway I'll see to it... that Mrs Welch doesn't get involved. (KA: 94)
Если его не будет дома, я оставлю сообщение или что-нибудь ещё. Во всяком случае, сделаю все так, чтобы миссис Велч ничего не узнала.
• He's terrible, he won't stop playing games. Anyway, I hope you know what it's all about. (F: 402)
Он невыносим, постоянно играет в какие-то игры. Короче / ну, надеюсь, ты понимаешь, что я имею в виду.
См. также в других словарях:
таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… … Словарь терминов логики
ОПИСАТЕЛЬНО-ОЦЕНОЧНЫЕ ВЫСКАЗЫВАНИЯ — высказывания, играющие в одних контекстах роль описаний, а в других роль оценок. Описание и оценка представляют собой два противоположных отношения утверждений к действительности: истинностное и ценностное (см. ЯЗЫКА ФУНКЦИИ ). О. о.в. соединяют… … Философская энциклопедия
Денотативное значение — Денотат (от лат. denotatum обозначенное), термин лингвистики и экстенсиональной логики, обозначающий 1) экстенсионал, 2) десигнат, 3) референт и 4) семантическое ядро значения. Содержание 1 Денотат как экстенсионал 2 Денотат как десигнат … Википедия
истинностное значение — одна из возможных характеристик высказывания с точки зрения соответствия его описываемому фрагменту действительности. Если допускается, что каждое высказывание является либо истинным, либо ложным (т. е. что онолибо соответствует действительности … Словарь терминов логики
Дихотомическое деление — деление объёма понятия (класса, множества) на два соподчинённых (производных) класса по формуле исключённого третьего: «А или не А» (см. Исключенного третьего принцип (См. Исключённого третьего принцип)). Иначе говоря, только такое… … Большая советская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
